🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Programming Language Theory

Type Systems, Lambda Calculus, Semantics, Monads

Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔄Category Theory
Free Theory of Computation text
reddit.com·19h·
Discuss: r/compsci
📈Complexity Theory
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·20h
⚙Functional Programming
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·4h
🔧Compiler Design
The Baby Paradox in Haskell
blog.jle.im·15h·
Discuss: Lobsters, Hacker News
🔢Mathematical Logic
Making Illegal States Unrepresentable in Kotlin
dev.to·17h·
Discuss: DEV
⚙Functional Programming
Sapir-Whorf does not apply to Programming Languages
buttondown.com·19h·
Discuss: Hacker News
📝Lisp
The power of C++26 reflection: first class existentials
reddit.com·5h·
Discuss: r/cpp
📐Type Theory
Learning Through Doing: From one language to another
blog.scottlogic.com·8h
🦀Rust
Contrasting Data and Objects (2018)
tedinski.com·1d·
Discuss: Hacker News
⚙Functional Programming
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
🔧Compiler Design
An Update on Pytype
github.com·1d·
Discuss: Hacker News
📐Type Theory
A practical introduction to parsing in Rust
jhwlr.io·2d·
Discuss: r/rust
🔧Compiler Design
LLMs Won't Replace Programming Languages
mech-lang.org·2h·
Discuss: Hacker News
🔗Parser Combinators
How to Build a Compiler: A Step-by-Step Outline for Creating a custom compiler in C from scratch
dev.to·2d·
Discuss: DEV
🔧Compiler Design
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·20h·
Discuss: Lobsters, Hacker News
📝Lisp
Human interpretable grammar encodes multicellular systems biology models to democratize virtual cell laboratories
cell.com·17h
🧫Cellular Automata
The Ultra Scale Playbook vol-2: Data Parallelism
jaisidhsingh.bearblog.dev·1d
🔧Compiler Design
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·4h
📐Type Theory
"Python for Those Who Cannot Even", a Book by Claude Code
github.com·13h·
Discuss: Hacker News
📝Lisp
Loading...Loading more...
AboutBlogChangelogRoadmap